Books by author Andrei Voronkov

Showing 1 – 20 out of 30 results

1. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Matthias Baaz, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.15 €

   Sale 9 %

   You save 5.42 €

   Buy
2. 

   Logic Programming and Automated Reasoning

   Andrei Voronkov | Springer, Berlin, 1993

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
3. 

   Programming Logics

   Andrei Voronkov, Christoph Weidenbach | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
4. 

   Perspectives of System Informatics

   Manuel Mazzara, Andrei Voronkov | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
5. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Miki Hermann, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.31 €

   Sale 7 %

   You save 8.57 €

   Buy
6. 

   Transactions and Change in Logic Databases

   Hendrik Decker, Burkhard Freitag, Michael Kifer, Andrei Voronkov | Springer, Berlin, 1998

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
7. 

   Logic Programming and Automated Reasoning

   Andrei Voronkov | Springer, Berlin, 1992

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
8. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Moshe Vardi, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
9. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   Nachum Dershowitz, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.25 €

   Sale 7 %

   You save 4.31 €

   Buy
10. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Franz Baader, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.31 €

    Sale 7 %

    You save 8.57 €

    Buy
11. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Geoff Sutcliffe, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.31 €

    Sale 7 %

    You save 8.57 €

    Buy
12. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Robert Nieuwenhuis, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.31 €

    Sale 7 %

    You save 8.57 €

    Buy
13. 

    Perspectives of Systems Informatics

    Amir Pnueli, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
14. 

    Logic Programming and Automated Reasoning

    Harald Ganzinger, David McAllester, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
15. 

    Computer Science - Theory and Applications

    Volker Diekert, Mikhail Volkov, Andrei Voronkov | Springer, Berlin, 2007

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
16. 

    Perspectives of System Informatics

    Andrei Voronkov, Irina Virbitskaite | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
17. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Ken McMillan, Aart Middeldorp, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
18. 

    Perspectives of System Informatics

    Alexander K. Petrenko, Andrei Voronkov | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
19. 

    Rewriting Techniques and Applications

    Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy
20. 

    Logic for Programming, Artificial Intelligence, and Reasoning

    Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.25 €

    Sale 7 %

    You save 4.31 €

    Buy

Books can be collected at many points all over Slovakia. Find out more